; TEST-ARGS: -disallow-ub-exploitation
; SKIP-IDENTITY

define i8 @src() null_pointer_is_valid {
  %y = load i8, ptr poison
  ret i8 %y
}

define i8 @tgt() null_pointer_is_valid {
  %y = load i8, ptr poison
  ret i8 %y
}
